package plus.decl;

import java.util.*;

public class PT_Group {
	final List<String> names;
	final TypeSpec typespec;
	public PT_Group(List<String> names, TypeSpec typespec) {
		this.names = names;
		this.typespec = typespec;
	}
}
